mcsta/modest mcsta egl.jani -E N=10,L=8 --props unfairA -O out.txt Minimal --unsafe --es -S Hybrid --store-compress None --no-partial-results --alg OptimisticValueIteration --epsilon 5e-2 --width 5e-2 --relative-width --p0 --p1
egl.jani:model: info: egl is a DTMC model.
egl.jani: info: Need 88 bytes per state.
egl.jani: info: Explored 234281097 states for N=10, L=8.
Peak memory usage: 11635 MB
Analysis results for egl.jani
Experiment N=10, L=8
+ State space exploration
State size: 88 bytes
States: 234281097
Transitions: 234281097
Branches: 235329672
Rate: 236307 states/s
Time: 1096.3 s
+ Property unfairA
Probability: 0.50048828125
Bounds: [0.50048828125, 0.50048828125]
Time: 310.6 s
+ Precomputations
Min. prob. 0 states: 159227392
Time for min. prob. 0 states: 163.7 s
Min. prob. 1 states: 75052170
Time for min. prob. 1 states: 72.5 s
+ Essential states
Iterations: 1
Essential states: 1537
Transitions: 1537
Branches: 3072
Time: 74.0 s
+ Optimistic value iteration
Total iterations: 3
Verif. attempts: 1
Verif. iterations: 1
Final epsilon: 0.05
Time: 0.0 s
Exported results to file "/out.txt".